Skip to content

Conversation

@nickrobinson251
Copy link
Member

This reverts commit 9a42d18.

PR Description

What does this PR do?
Checks we can drop this now Match.jl updated

Checklist

Requirements for merging:

  • I have opened an issue or PR upstream on JuliaLang/julia: <link to JuliaLang/julia>
  • I have removed the port-to-* labels that don't apply.
  • I have opened a PR on raicode to test these changes:

@github-actions
Copy link

github-actions bot commented Nov 8, 2025

This PR is stale because it has been open 30 days with no activity. Comment or remove stale label, or this PR will be closed in 5 days.

@github-actions github-actions bot added the stale This pull request is inactive label Nov 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

port-to-master port-to-v1.10 stale This pull request is inactive

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant